corrected erroneous message produced by ignoreeof in collect()