cosmetics: reindent/prettyprint after last commit