amend to PR #443