fix bug with int