diff --git a/docs/ivanx/a2server_howtouse.md b/docs/ivanx/a2server_howtouse.md
index 7837898..6219985 100644
--- a/docs/ivanx/a2server_howtouse.md
+++ b/docs/ivanx/a2server_howtouse.md
@@ -37,7 +37,7 @@ mixed case, punctuated names of up to 31 characters (same as a classic Mac).
 The network volumes hosted by A2SERVER will appear on the Finder desktop in
 GS/OS; in ProDOS 8, you can type `PREFIX /A2FILES`.
 
-### Workstation Software: ###  {#wsdisk}
+### Workstation Software:  {#wsdisk}
 
 <!--
 FIXME: These disk images are not (at present) contained within this archive.
diff --git a/docs/ivanx/a2server_installer.md b/docs/ivanx/a2server_installer.md
index eaa6463..85196cf 100644
--- a/docs/ivanx/a2server_installer.md
+++ b/docs/ivanx/a2server_installer.md
@@ -35,9 +35,12 @@ Once you are up and running in Linux, you can execute the automated setup
 scripts to download, install, and configure the A2SERVER software. To use
 these, [log in to Linux](a2server_commands.md), and type:
 
-`wget appleii.ivanx.com/a2server/setup; source setup` Confirm that you want to
-proceed, enter the password again, and go get a sandwich, but come back so you
-can answer questions when prompted.
+~~~ bash
+wget appleii.ivanx.com/a2server/setup; source setup
+~~~
+
+Confirm that you want to proceed, enter the password again, and go get a
+sandwich, but come back so you can answer questions when prompted.
 
 Once it's done, check out the links on the [A2SERVER home page](index.md) for
 next steps.
diff --git a/docs/ivanx/index.md b/docs/ivanx/index.md
index 7ccf470..0d7d1d5 100644
--- a/docs/ivanx/index.md
+++ b/docs/ivanx/index.md
@@ -25,9 +25,9 @@ supports Wi-Fi, and can download and install GS/OS on your network drive for
 you. Cool stuff!
 -->
 
- _Update 19-Mar-15: A2SERVER 1.2.2 is available. It has support for Raspberry
- Pi 2 Model B and every other Raspberry Pi, and new command line options for
- the installer script. To update, type `a2server-setup`._
+*Update 19-Mar-15: A2SERVER 1.2.2 is available. It has support for Raspberry
+Pi 2 Model B and every other Raspberry Pi, and new command line options for
+the installer script. To update, type `a2server-setup`.*
 
 Choose how you'd like to use A2SERVER, and you'll be up and running shortly.