Worth noting

• With three days left before Major League Baseball's waiver Trade Deadline, Alderson said "there's a lot less going on than some people speculate" regarding starting pitcher Bartolo Colon, who reportedly cleared waivers this week. The Mets can trade Colon to any team.

• Prior to Thursday's first pitch, the Mets presented Jacob deGrom with his National League Rookie of the Month award for July and his NL Player of the Week award for July 21-27. DeGrom went 4-1 with a 1.39 ERA over five July starts.