Re: sed with several lines, how?