Commit 8b3601324fde1ba49338dd6279057cd366c25919

Werner Lemberg 2020-08-04T10:48:42

Minor typos, formatting.