changed Int64 to Int (closes #35)