SHOULD be done, but something is going wrong with JSON encoding