added pretty printing