Minor fix for Firefox