Cleanup some formatting problems in docs.