another minor css change