You're totally right - I was quietly digging
near the top border of the map and normally I dig in a zig-zag way, so, just one empty cell remained behind me diagonally. I think, I still have the save file of this very map "scummed", in case you would like to investigate further.