fix error on PR #45x