Commit ad3443c93121c59181fc4b46c5179d0d00bfcc4e

Werner Lemberg 2019-08-05T10:00:41

Minor documentation improvement.