add PrettyPrint option