simplifying sed, update #2709