Pretty printing for debugging.