Allow it to work with ghc 7.8