Fix a double-encoded &lt;

This was showing up as double-encoded.