slightly improve debug output