Fix HTML symbol in Chrome - refs BT#8738