fix cast from int to Integer