fix GHC 7.6