Commit d8a83232aff9bff4b2197e6e5a4723006ad786d3

Werner Lemberg 2016-11-06T12:33:18

Minor documentation improvement.