Thanks very much for the bug report, and to Anders, for the bugfix! I have merged that change into my versions.