PR 4105

Fix up gh-4105