[GHC] #9162: fix missing space in documentation