correct html char