Make serialization of Result compatible with 4.11