fix bug where operators could not be deleted