Did I hear correctly on the TV today that Cozart set the record for doubles by a shortstop before the All-Star break?