Remove spurious ring-insert in jump-to-def-op