Revert "extra debugging code for issue #5"

This reverts commit 2e60a2689a2af53490784147190f538802ab6445.