Fix mistake in serialization