fix bug in str2int