very minor css change