clean up and fix escape sequence in ASTDumper