extend 8da4c647a88241899f9d377eaa81c7b080406685

in blogger a strange editor was used to write the file