Re: [GHC] #13079: Fix typo in comment (was: Fixed typo in docs)