Fix mistake in serialization

Sorry about that