Avoid extra special pretty printing. Need a general solution.