Not sure we need this comment anymore. Helpful for the reviewers, perhaps, but no so helpful for someone reading the code in the future.