Found the stupid mistake that caused me >1.5 hrs to resolve. The reason why a duplicate navigation bar was being generated was simply because I mistakenly placed an extra apply-templates below the snipper generating the badge. Dumb... and I spent so much time on a good chase around XSL templates trying to figure out exactly how the navigation elements are generated (still am not completely sure right now...)