UNIX EOF in list, minor text changes