Removed erroneously duplicated files.