pretty printing improvement
Pretty printing debug.