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.

Just checking that simple PRs are still accepted on github.

Alexander