HTML encoding

Change to HTML enconding in order to avoid errors depending on locales.