make GHC 7.4 happy