Thanks for the bug report; I've just posted a patch which should fix it: https://<email address hidden>/
Thanks for the bug report; I've just posted a patch which should fix it: https://<email address hidden>/