Fixes to documentatino and .cabal file