Fix for GHC 7.10