fix PR #5