Fixing another mono JSON deserializer issue.