Some mixup where *wrapspace* was being used as a placeholder for a unicode character, which was then html encode *before* it was swapped for the right char, instead of after. This is just some small code to prevent very long lines (with no break characters) from blowing out the layout of the site.