Add debug printf