Fix the check errors in the .cabal file