am 8d41e653: Merge "Miscellaneous small documentation fixes."

* commit '8d41e653bae240488281d430309e2d501e9524e5':
  Miscellaneous small documentation fixes.