got rid of an old operator