cosmetics in show_debug() output