JSON export now includes non-ascii characters