Fixed a syntax error in pretty printing