diff --git a/js/ajax.js b/js/ajax.js
index 92f9b59f06..742974f4e0 100644
--- a/js/ajax.js
+++ b/js/ajax.js
@@ -672,8 +672,7 @@ AJAX.setUrlHash = (function (jQuery, window) {
     var userChange = true;
 
     // Fix favicon disappearing in Firefox when setting location.hash
-    // See bug #3448485
-    function fix_favicon() {
+    function resetFavicon() {
         if (jQuery.browser.mozilla) {
             // Move the link tags for the favicon to the bottom
             // of the head element to force a reload of the favicon
@@ -698,7 +697,7 @@ AJAX.setUrlHash = (function (jQuery, window) {
         userChange = false;
         if (ready) {
             window.location.hash = "PMAURL-" + index + ":" + hash;
-            fix_favicon();
+            resetFavicon();
         } else {
             savedHash = "PMAURL-" + index + ":" + hash;
         }
@@ -720,7 +719,7 @@ AJAX.setUrlHash = (function (jQuery, window) {
             if (savedHash != "") {
                 window.location.hash = savedHash;
                 savedHash = "";
-                fix_favicon();
+                resetFavicon();
             }
             // Indicate that we're done initialising
             ready = true;