Fix JSON de-serialization.