Agreed, have this fix in PR #307.