Small fix to work with Firefox