Fix .cabal file
Improve documentation.