I didn't notice that, but I don't think this PR is the place to fix that. I'll look at it as a separate matter afterwards, though.