trivial reformatting