corrected integer type in Set