Improved debug printf