tweaked debugging code