Removed some files that snuck into the repository