Fix JSON encoding