Thanks very much for the bug report and bugfix! I'll merge those changes into my versions later today.