unicode -> HTML markup, temporary solution