tagging: Fix one more HTML escaping issue.