Fixed JSON encoding