sed.html: remove useless line