corrected integer kind