add some DEBUG code