adding debug output;