Fix jump-to-source (Fixes #1)