slightly modified debug output