* jump.c (jump_optimize_1): Tidy.