documentation and cabal fixes