fix for compilation with GHC 7.8