OK, I've now pushed a fix for this bug into the trunk, it will be part of the next release (0.13). Thanks for the report!
OK, I've now pushed a fix for this bug into the trunk, it will be part of the next release (0.13). Thanks for the report!