Commit 2b4e61e4d61dab168cef572e40368c6d2e687f8b

Werner Lemberg 2018-12-12T09:36:39

Minor documentation fixes.