WyC: removed redundant debugging code.