Or did you mean Dave's YUI Menu source code copy?
<ul class="first-of-type" role="presentation" id="yui_3_17_2_2_1468503123355_222">
</div>
</div>
<ul class="nav pull-right">....</ul>
Who knows what's happening in that theme...it could be a problem with the Theme settings page for all we know, where the menu is added in the first place, plus it could be a parent of Base theme like my Tiny Bootstrap Theme...now that would be a laugh...although that does have a renderer in it for the Bootstrap Menu.
Ah well...
.