fix a minor css issue