Commit 779c8c4050c11f5afa387d4f2a27650a7cd2a7fc

Nikhil Ramakrishnan 2018-06-18T15:17:13

Some more minor doc fixes.