The fix doesn't actually solve the problem, it just ignores the checks for block 15000. The same thing will happen next time the difficulty change is high. I have sent a patch to the developer which fixes this properly.