Fix tests under GHC 7.0