fix a copy-error from a ports sed command