@ virus16bit :
You know, once I thought I killed them all, but there's a place where they're well hidden.
The best thing you can do to be sure that it's not a bug, is to use the motion sensor in every sector of the mine. If one of them is still alive, you'll immediately know it.