more output for debugging