EOF is already taken care of!