sed syntax fix