fix double deletion bug in symtab_remove()