Fix varint encoder