Batting Out Order or Just Wrong Numbers?

[streamdoc]

This happened in a Varsity HS game yesterday. Visiting coach inserts a sub (#4) into the 3rd place in the batting order. Number 8 has been batting 4th and continues to do so. He also inserts #11 into the 5th slot in the order. The substitutions occured at the top of the inning, prior to first pitch, and were properly communicated to me (PU) and the home team. B3 gets on base. B4 gets on base. B5 comes up to bat and takes a pitch. At this point the home team mentions that B5 is batting out of order. I call the visiting coach over and he says that the actual players are in the right order, he just gave me the wrong numbers for them. Turns out, they are twins (#s 4 & 11), and he got confused when reporting them. Since he had the right players batting in the order that he intended (and yes, I do believe that this was the case), is it correct to simply make the numbers changes in the book, or do we actually go with batting out of order, and enforce the penalty?