small tweak in debug out