Minor documentation fixes

Minor documentation fixes