Fix a serialization issue (thanks to quickcheck)