d710: forgot to delete a file