Very miner code reformatting