small fix for ghc 7.6