fixed a nasty bug in the handling of the --delete option when there