Another sed improvement