Revert "Revert "small fix in a comment""
This reverts commit 116c3d440474b6bb97636a931eb31b5ecc9c4f2c.
Authored by: "kifer" 2020-11-05
Parent: [r9757]
Child: [r9759]