Removed Show instance. Fixed typo.
Added note to "assuming".
Added description of the package.