Minor style fix for firefox