Fix a bug that was specific to Firefox.