fix 'cabal check' errors