Fixed debug printf