fix a bug in destor.c