Fix cast from int to Integer