fix processing of escaped HTML