9 hitter bats out of order in the 7th position and makes the last out of the inning, The following inning the 8 hitter bats and pops out, the 9 hitter comes to the plate and has a 2-2 count. The defensive team calls time and tells the home plate umpire the 9 hitter batted out of order the previous inning. The plate umpire calls the 9 hitter and the leadoff hitter out. The leadoff hitter is in the on deck circle. Is this correct?