Documentation tweaks

Mostly formatting.