repair a bug in jump_to