Im not a programmer but it feels like they are not doing a very good job when they cant even read the game rules and just float 13 mana here.
Disclaimer: Should the player in question be human and for some reason forgot to play a few monsters Im sorry, but this is far from the first time I have seen this!