whoops, clobbered again. shouldhave fixed the sed script