Fixes #4721: cleanup for pull request #4703

Fixes #4721: cleanup for pull request #4703

to @njx