issue #20734: Linting.