HTML encoded the text properly.