bug fix in "int" type