Fixed typo
Merge pull request #146 from dotty-staging/docs/hk-typo-fix

Fixed typo