Correct minor HTML encoding error