fix int reader