corrected debug printf