sed syntax tweak