reformat mine-sweeper.js