operator HTML output fix