In his argument on the field during Tuesday’s opening day loss, Yankees Manager Joe Girardi indicated the Yankees would be playing under protest. As it turned out, Girardi said on Wednesday, the team never filed the paperwork.

Girardi had been livid after umpires did not rule Houston’s Carlos Correa out in the eighth inning, when Correa ran on the grass after a grounder, obstructing the view of pitcher Dellin Betances, who tossed the ball high over the head of first baseman Mark Teixeira. That allowed the go-ahead run to score in the Astros’ 5-3 victory.

“Our feeling was that the rule is stated that it’s in the umpire’s judgment if the first baseman can catch it,” Girardi said, adding later: “Maybe it’s something that we have to think about, in spring training, working on. You put a dummy out there, and if he’s in your path and on the grass, you’ve got to throw it and hit him. Because if you try to do what Dellin did, it usually leads to what happened.”

An even more controversial play ended a game between the Toronto Blue Jays and the Tampa Bay Rays later Tuesday. As Toronto’s Jose Bautista slid into second base in the ninth inning, he reached toward Rays second baseman Logan Forsythe, whose wild throw led to two runs and gave the Blue Jays the lead.