doc formatting updates, clean-up.