minor fix in sed