r416: removed a line of debugging code