IsEndOfFile is unnecessary