missing linting (PR #9447)

GitHub