Commit b18f5e7c62c0aa6f8d17cbb9a8fe687ed402569a

Werner Lemberg 2018-06-11T09:02:06

Minor doc fixes.