Fix a typo in comment in my last change.