int bug fix