Formatted cabal file and changed synopsis