OK, fix added as pull request #23.