fix for GHC 7.2.x.