CHANGE: Faster deletion of halts when unloading a map