improvement on 'jump to definition'
minor changes