Parameterize indent in PrettyEncoder