* Shorter debug output.