[dch82]

I replaced that code with

  // loop until an EOF is read
  while ((ch = getchar()), ch != EOF) {

Would this be better?