Commit b720070988ea80ca74d644cd7ab77f1f81c54a1e

Werner Lemberg 2018-01-06T08:39:30

Minor doc fixes.