don't navigate to non-source files; fix top-level environment display bug