They were not so egregious that they had to shut down the...

They were not so egregious that they had to shut down the mine. Historically, coal-mining was much more risky.