Make it compatible with GHC 7.0.*