Minor correction about Ints