Worth noting

• The Matt Harvey-Max Scherzer matchup on Saturday marked the first time in Major League history that All-Star starting pitchers have faced off against each other in the same season they started the All-Star Game.

• Saturday was Fiesta Latina Day at Citi Field. The Mets wore Los Mets jerseys and celebrated Hispanic culture throughout the game.