Index: obj_term.c
===================================================================
--- obj_term.c	(revision 10696)
+++ obj_term.c	(revision 10697)
@@ -100,6 +100,7 @@
 			vtp0_remove(v, n, 1);
 			if (v->used == 0)
 				pcb_term_remove(terminals, obj->term);
+			obj->term = NULL;
 			return PCB_TERM_ERR_SUCCESS;
 		}
 	}