Fix for older versions of GHC