Fix some more confusion between uint32 and Datum.