GHC 7.8 compatibility (fixing a long existing type error in the code that was not found by earlier versions)