fix a mismatch between mine() results and cached entries
1.4.2