r265: removed debugging code