minor css patch