The patch worked for my wallet, but my son's wallet lost all the coins that he mined the last two days. His wallet is currently on the right block. Could we have done something wrong that would cause this? Can we fix it? It was only 720 coins, but that's a lot for him.

Thanks so much for your help!