Correct some sed syntax