A note about ugly (but useful) debug output