And a third comment on the PR's diff.