Fix some stale comments

No functional change.