Deleted now unnecessary file