Worth noting

• In Monday's 13-4 win at St. Louis, the Reds became only the fifth team in Major League history to score at least nine runs in the ninth inning of a game that was tied entering that frame. They joined the 2002 Mets at Atlanta, 2001 Tigers at Texas, 1950 Braves at Philadelphia and 1939 Indians at Philadelphia.

• Mike Leake's 46 career hits are the most by a Major League pitcher over the last four seasons.