fix error in set_isize