fix a bug in jump_to_pdf