Misc improvements to doc/format.