Make work with GHC 7.7...