More Firefox tweaks related to issue #56