Thanks for reporting this bug... it's finally fixed and committed to the trunk. It will be included in the next release: 1.4.2.
Thanks for reporting this bug... it's finally fixed and committed to the trunk. It will be included in the next release: 1.4.2.