Removed redundant file

See #1
Doc fixes