Unbreak print_non_clf_message() when generating HTML.