Re: [GHC] #9162: fix missing space in documentation