Revert "small fix in a comment"
This reverts commit 0dff14bed235fe3964e9093e667f6c90af533783.
Authored by: "kifer" 2020-11-05
Parent: [r9756]
Child: [r9758]