Fix some formatting in the mine
Merge pull request #6239 from basepi/minefix5729

Fix some formatting in the mine