diff --git a/web/site/instances.php b/web/site/instances.php
index dfb06c3..ddece03 100644
--- a/web/site/instances.php
+++ b/web/site/instances.php
@@ -13,6 +13,7 @@ $dlanguc=strtoupper($dlang);
 require '../lib/n2es.php';
 require '../lib/grace.php';
 require '../lib/fnum.php';
+require '../lib/text2html.php';
 require '../lib/realfloat.php';// had to resort to this because php 7.3 has a bug: when echoing a float, it uses the decimal separator of the locale that was set with setlocale, making a mess when the separator is different than "." with stuff expecting it to be "."
 
 use function mysqli_real_escape_string as myesc;
@@ -714,9 +715,8 @@ while ($if<$il && $row=mysqli_fetch_assoc($res)) {
 	}
 	$out.='</div>'.N;
 
-	if ($row['Noxious']) {
-		$out.='<div><div class="noxlab">'._('Why we consider this instance noxious').'</div><div class="noxreas">'.nully(strip($row['NoxReason'],$row['URI'])).'</div></div>'.N;
-	}
+	if ($row['Noxious'])
+		$out.='<div><div class="noxlab">'._('Why we consider this instance noxious').'</div><div class="noxreas">'.text2html($row['NoxReason'],'<span class="null">'._('Not available{singular}').'</span>').'</div></div>'.N;
 
 	$out.='<div><div class="idlab">'._('Short description').'</div><div class="idesc">'.nully(strip($row['ShortDesc'],$row['URI'])).'</div></div>'.N;
 	$out.='<div><div class="idlab">'._('Long description').'</div><div class="idesc">'.nully(strip($row['LongDesc'],$row['URI'])).'</div></div>'.N;