Fixes in cabal file