another minor css fix