DEV: Fix linting (PR #12754)

GitHub