fix JSON export