Commit 83525bdd10c4b00500d8d9b5bbf5ad0419c99d21

Werner Lemberg 2018-08-31T07:37:15

Minor comments.