One more minor css improvement