Fix formatting so it hopefully look decent and copyable on github.