Comment From: sbrannen

Thanks for the PR.

We normally prefer PRs with a larger scope than this one. In the future, if you could across something as minor as this, feel free to just raise an issue and one of the maintainers can then include the change in a larger commit.

In any case, I've merged this PR as a task.

Comment From: ThomHurks

Ah, will do, thanks!