sed fix

For Jenkins