fixed in PR #659