oops, sed script was too heavy-handed