printTermAsHTML() fix