Fix oversight

This fix an oversight in PR #5678.