htmlencoding update