If EOF shows up here, won't this fail?