Fix uint64 cast forgotten by latest commit