Deleting obsolete files and small edits