EOF is handy, do not ignore it