Commit bf04c592490402e7f00f6c7900bac01f9bd08fc6

Werner Lemberg 2019-02-25T06:32:26

Minor doc fixes.