This shouldn't be removed.

Ignore this trivial comment unless there is some other reason to update this PR. And then consider ignoring it. :)