Renumber

Author: evolvedmicrobe

pages/auto/install_issues.html

@@ -68,7 +68,7 @@ <h2>Case 2: download is so slow that it doesn't finish</h2>
 
 <hr>
 
-<h2>Case 4: installation seems to succeed but <code>enclone</code> is killed</h2>
+<h2>Case 3: installation seems to succeed but <code>enclone</code> is killed</h2>
 
 <p>In this case, when you type <code>enclone</code> from the command line, you'll get a message
 about it being killed.  This has happened to some Mac users.  In one case we observed that the
@@ -80,7 +80,7 @@ <h2>Case 4: installation seems to succeed but <code>enclone</code> is killed</h2
 
 <hr>
 
-<h2>Case 5: installation seems to succeed but you get a message about 
+<h2>Case 4: installation seems to succeed but you get a message about 
 <code>GLIBC</code> not found</h2>
 
 <p>This probably means that you are using a Linux machine which has a very old version of the