Fix typo
Fix typo

Co-authored-by: Michał Pałka <ad5a7595f473252d71122c6c0250d33c5ad36223@gmail.com>
lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty