add EncodePretty()