Minor bugfix for Firefox