Fixing a bug in the delete operator (rule part only, this does not compile yet).