doc fixes
Merge pull request #730 from yashodha/fixes

doc fixes