Re: [GHC] #8358: Trivial comment fixup