am 1df862a4: Minor doc update.

* commit '1df862a4656bb0d7a3329311b1e243fc6db32448':
  Minor doc update.