Fixed issue where missing identifiers pushed trivia into the navigation bar

Fixes #1183.
But not in our system, correct? The scanner could produce this, but we don't anywhere, right?