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