Update cabal description, and make minor documentation fixes.