7B2 says "each player counts his cards." When the laws say a player "does" something, there is no suggestion that a violation be penalized. Either he failed to count them, or he counted them and got the wrong answer. Oops. But there's no suggestion he should get a PP, and no rectification specified in this law when he doesn't count or gets the wrong answer. Oh, there's another possibility: he took the hand out of the board, counted his cards, correctly got 13, and then at some point laid the hand down on the ♠A from the previous board that he didn't put back in its proper board. Interestingly, I don't see a law that tells us when or how cards should be put back in the board. Maybe I missed it.