Fix for base 4.7 (ghc 7.8)