minor firefox bugfix