Fix HTML encoding