Removed file that should have been deleted earlier.