Fixed a typo regarding mismatched types (uint and uint64)