Closing EOF is supposed to be on its own.