Fix HTML encoding of ampersand.