more debugging support