Minor fix for FireFox