Reindent code to make visible on github.