Commit 5955b77b1dee4363cdd047eb06a701b1cb8fd395

Werner Lemberg 2018-03-03T09:21:59

Minor documentation improvement.