Bug fix: teleport-players-out-of-the-mine should be true by default