Some minor improvements to artifact README

artifact/README.md

@@ -12,7 +12,7 @@ See `README-artifact-creation.md` for how to build the artifact.
 
 ## Running the Image
 
-Start the image using QEmu. The `--enable-kvm` flag should be removed if KVM is not available on your system.
+Start the image using QEmu. The command below works on many systems, but the exact command may depend on the machine you are using. Please see the QEmu documentation for more details. The `--enable-kvm` flag should be removed if your system does not support KVM.
 
     $ qemu-system-x86_64 \
         -m 4G \
@@ -45,7 +45,7 @@ Enter the `symparikh` directory
 
 You can do a basic run of the tool with
 
-    $ ./build/sym_parikh --file ../examples/basic-regex.smt2
+    $ ./build/sym_parikh --file examples/basic-regex.smt2
 
 Use `--help` for available flags.