fixes README

README.md

@@ -50,7 +50,7 @@ The artifact docker image includes both reusable verification libraries and all
 We require an installation of Docker. The following steps have been tested on macOS 14.0 with the latest version of Docker Desktop, which is at time of writing 4.24.2 and comes with version 24.0.6 of the Docker CLI.
 
 #### Installation
-- We recommend to adapt the Docker settings to provide sufficient resources to Docker. We have tested our artifact on a 2019~16-inch MacBook Pro with 2.3~GHz 8-Core Intel Core i9 running macOS Sonoma~14.0 and configured Docker to allocate up 16~cores (which includes 8~virtual cores), 6~GB of memory, and 1~GB of swap memory. In case you are using an ARM-based Mac, enable the option "Use Rosetta for x86/amd64 emulation on Apple Silicon" in the Docker Desktop Settings, which is available on macOS~13 or newer. Measurements on an Apple M1~Pro Silicon have shown that performing this additional emulation results in 20-25\% longer verification times compared to those reported in the remainder of this artifact appendix.
+- We recommend to adapt the Docker settings to provide sufficient resources to Docker. We have tested our artifact on a 2019 16-inch MacBook Pro with 2.3 GHz 8-Core Intel Core i9 running macOS Sonoma 14.0 and configured Docker to allocate up 16 cores (which includes 8 virtual cores), 6 GB of memory, and 1 GB of swap memory. In case you are using an ARM-based Mac, enable the option "Use Rosetta for x86/amd64 emulation on Apple Silicon" in the Docker Desktop Settings, which is available on macOS 13 or newer. Measurements on an Apple M1 Pro Silicon have shown that performing this additional emulation results in 20-25\% longer verification times compared to those reported in the remainder of this artifact appendix.
 - Navigate to a convenient folder, in which directories can be created for the purpose of running this artifact.
 - Open a shell at this folder location.
 - Create two new folders named `Go-sync` and `C-sync` by executing: