Correct file extension in Mines.zip