Fixing ARM asteroid flag

[Thanny]

I had two missions for a class B asteroid - one to bring it to orbit around Kerbin, and one to bring it to orbit around Minmus.  After taking both missions, I found a class B and brought it into orbit around Kerbin.  The Minmus contract still showed the ship as meeting the asteroid requirement, so I performed a burn that would bring the ship to Minmus.  The contract text, after all, only says the asteroid has to be newly discovered after taking the contract, not that it can't be applied to another contract, so it makes sense.

However, after reloading this game after some number of months of hiatus, I found that the ship is no longer showing as satisfying the asteroid part of the Minmus contract.  Rather than go through the hassle of fetching another asteroid, I want to fix the problem in the save game, since this counts as a bug in my book.

Does anyone know which part of the save needs to be changed, and how?