removing gratuitous "gratuitous"