oops, forgot the EOF case