Fix some formatting in the mine