Fix last part of ghc-wrap style