Fix jump-to-comment-box