Fix for GHCi mode with GHC 7.8