Make compatible with GHC 7.4