Make serialization of Result compatible with 4.11

4.11 :-)