example app: encode HTML names, fix logging error