Fixed bug #6125: MENU before/after* might create invalid HTML output (Thanks to Nabil...