fix jump_to_file.