Little debug printing correction.