Fixes to description of GHC properties