Chicago is an October sort of city even in spring.