Fix uint64-reader.