Fix for GHC 7.0.4