 So that will do it for Bernardino. It's the old 4-6-3 put out that does not result in a double play. And Bernardino is going to give way to Slayton as Machado is coming up. Little slip of the foot of what would have been an inning ending double play. But...