* Fix too premature escaping of HTML entities.