Fixed bug #2178: template::getTabMenu doubles ampersands (thanks to Stefano Kowalke)