fix for problem deleting spiders

This is the patch sent by Martin