Make various formatting and documentation improvements.