added debug printing methods