Fixing a bug which occurred with the latest version of Firefox.