Minor style change and fix for Firefox