[checkmk-commits] Small fix for internal helper render_main_menu()