minor css tweak