Added pretty-printing options.