Removed these two files; they were not used