Remove spurious ring-insert in jump-to-def-op
Merge pull request #520 from gtrak/master

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