diff --git a/README.html b/README.html
index 97f0326..1b81116 100644
--- a/README.html
+++ b/README.html
@@ -49,7 +49,7 @@ <h2 id="install-the-docker-image">Install the docker image</h2>
 artifact (<code>sle22-signatr-artifact/</code>) and enter in a
 shell:</p>
 <div class="sourceCode" id="cb4"><pre
-class="sourceCode bash"><code class="sourceCode bash"><span id="cb4-1"><a href="#cb4-1" aria-hidden="true" tabindex="-1"></a><span class="ex">./enter</span></span></code></pre></div>
+class="sourceCode bash"><code class="sourceCode bash"><span id="cb4-1"><a href="#cb4-1" aria-hidden="true" tabindex="-1"></a><span class="ex">./enter.sh</span></span></code></pre></div>
 <p>which should give you a bash shell prompt, like (modulo the
 hostname):</p>
 <div class="sourceCode" id="cb5"><pre class="sourceCode sh"><code class="sourceCode bash"><span id="cb5-1"><a href="#cb5-1" aria-hidden="true" tabindex="-1"></a><span class="ex">r@eaf63037fd02:/work$</span></span></code></pre></div>
diff --git a/README.md b/README.md
index 821508d..6eac729 100644
--- a/README.md
+++ b/README.md
@@ -50,7 +50,7 @@ inside the docker image (for Linux, macOS) from the artifact directory.
  and enter in a shell:
 
 ```bash
-./enter
+./enter.sh
 ```
 
 which should give you a bash shell prompt, like (modulo the hostname):
diff --git a/README.pdf b/README.pdf
index cd31569..de926c4 100644
Binary files a/README.pdf and b/README.pdf differ