Thanks for the bug. I've committed a fix to this to our repository, and it will be pushed to the website shortly, I hope.
Thanks for the bug. I've committed a fix to this to our repository, and it will be pushed to the website shortly, I hope.