fixes in \\" html interpretation