linting (PR #10008)

GitHub