Use HTML Character Codes, minor formatting changes.