yet more debugging output... Issue #12