Deletion

Some deleted files didn't get updated in my last commit... Weird.