slightly nicer sed expression...