small tweaks
update cabal