Added debug printf