Fix HTML encoding of footer marks