Removed some accidentally-added files.