this is fixed in PR #13