Fixed typo in execution JSON-serialization.