trivial formatting fixes.