Stopped trying to detect problems in Array input with .eof() and relied on extraction operator doing the right thing. Previous way crashed on trailing whitespace in input.
Stopped trying to detect problems in Array input with .eof() and relied
on extraction operator doing the right thing. Previous way crashed on
trailing whitespace in input.

spinicist/QUIT,spinicist/QUIT,spinicist/QUIT,spinicist/QUIT