Fix problem when serializing uint32