Re #1696: fixed incorrect display of "<" and ">" characters