Commit 86e7385342b11ac6a2a179a80585d629e97f2a1f

Werner Lemberg 2018-08-06T10:24:08

Minor comment formatting.