Fix #558 jump_list problem