Commit 578dafd6b4932d2c541cb4e2d446082800f3cf76

Werner Lemberg 2018-04-03T11:31:22

Minor comment improvement.