Removing obsolete files (minor)