UPDATE:
There must be a usable and intelligent solution. But I have also stumbled upon a temporary hack that will provide the immediate fix I need.
And here it is. If a refresh is sent to the browser, the double navigation bar disappears. So I need to find a way to do that programmatically. Please help. It goes without saying that I need to do this without falling into the logic of an infinite loop.