Merge my changes to the offending comment with Guido's changes.
1 file changed