Small updates to the .cabal file