Re-fix a comment

No functional change.