a little JavaDoc for delete()