small code cleanup in Module::renderNavigation