Fixes edge case problem in JumpValidator.