Deleted some minor duplicates

...