fix a bug in decode uint64