Thanks Leandro Freitas! Fixed it, but since the docs are produced by the build you'll only see it when we do the next release.

If you prefer you can also send pull requests via github; if you're not familiar with the process let us know and we'll give you some pointers.