Thanks for noticing. I've raised a PR now.

If you spot any other problems, please raise them as an issue directly on Github so that the dev team can see them. Pull Requests are even better, of course. :-)