Fix spurious failure in test_deserialize_hardcoded