wiki docs, change Int to int64