Fixed issue where missing identifiers pushed trivia into the navigation bar

Fixes #1183.
And EOF is not a 'missing' token.