Removing obsolete files.
Other minor changes.