Fix for GHC 7.2.2