Fixed some code that was corrupted by HTML escaping.