Fixed silly bug in append_uint64().