Commit f262d15d0a4732e7b6b516f2e9ce37e83fcc604c

Werner Lemberg 2018-10-07T07:40:37

Minor comment improvement.