cabal and docs improved