diff --git a/app/helpers/application_helper.rb b/app/helpers/application_helper.rb
--- a/app/helpers/application_helper.rb
+++ b/app/helpers/application_helper.rb
@@ -30,6 +30,10 @@
       append_to menu_items, "[#{I18n.t 'menu.submissions'}]", 'main', 'submission'
       append_to menu_items, "[#{I18n.t 'menu.test'}]", 'test', 'index'
     end
+
+    if GraderConfiguration['system.hall_of_fame_available']
+      append_to menu_items, "[#{I18n.t 'menu.hall_of_fame'}]", 'report', 'problem_hof'
+    end
     append_to menu_items, "[#{I18n.t 'menu.help'}]", 'main', 'help'
 
     if GraderConfiguration['system.user_setting_enabled']