fix indentation in output of Tag.prettyPrint()