DEBUG: added some debuging statements