Commit 95f7341d818ff43639f857bea03a2089289f33d8

Werner Lemberg 2018-06-18T11:10:14

More minor doc fixes.