Deleted some now-redundant files