Fix needed for GHC 7.8