[262] shorten getchar() EOF check condition again