Correct HTML escape example text