Fix a stale comment

No functional change.