Re #1359 firefox tweak