Update comment on pretty-printing