diff --git a/en_US.ISO8859-1/htdocs/internal/machines.xml b/en_US.ISO8859-1/htdocs/internal/machines.xml
index 35f5f79653..4fb0161389 100644
--- a/en_US.ISO8859-1/htdocs/internal/machines.xml
+++ b/en_US.ISO8859-1/htdocs/internal/machines.xml
@@ -59,13 +59,6 @@ this file</a>.</p>
 <td>GNATS/shell Logins.</td>
 </tr>
 
-<tr>
-<td>nova</td>
-<td>11-CURRENT</td>
-<td>sparc64</td>
-<td>Reference machine.</td>
-</tr>
-
 <tr>
 <td>pluto</td>
 <td>10-STABLE</td>