Revert "correction of a comment"

This reverts commit 2ba997de09c2061a87eeec11a6790a8a62af51ed.