fix for ghc 7.8.1