A small documentation PR on github

Hi devs! I created a small documentation PR for the GHC FFI on github and noticed that there's another one-liner PR from May 2019 that was not merged. https://github.com/ghc/ghc/pull/260 https://github.com/ghc/ghc/pull/255 Just checking that simple PRs are still accepted on github. Alexander