Commit a748ae463503d679ab88a80401d769c402a66b7a

Nikhil Ramakrishnan 2018-09-05T11:12:01

* docs/DOCGUIDE: Minor.