Fixed issue where missing identifiers pushed trivia into the navigation bar

Fixes #1183.
What is the change? The green part and red one look the same.