Fix missing "uint32" type in sec. 6.1.