Doc fixes
Minor fixes.