fix JSON encoding bug