Fixed some minor debug printing issues