Fix for GHC < 7.8