Attempt fix for GHC 7.0