Remove spurious debug printing