html fix-up - replace <-> with &gt;->&lt;