Remove spurious debugging 'print(...'