Thanks for the suggestion - a fix for this was commited into the trunk some time ago, it will be part of the next release.
Thanks for the suggestion - a fix for this was commited into the trunk some time ago, it will be part of the next release.