fixed error in pretty print.