trivial formatting