Commit 734d60f63cfa27f9b337ddbb80adb9edd60475bf

Werner Lemberg 2019-08-06T20:38:17

Another minor documentation improvement.