diff --git a/README.md b/README.md
index 22acfa6..7db8bc3 100644
--- a/README.md
+++ b/README.md
@@ -71,6 +71,8 @@ Install the additional libraries via Homebrew:
 brew install graphviz
 ```
 
+If you are having trouble installing pygraphviz on macOS try the following: [StackOverflow](https://stackoverflow.com/questions/69970147/how-do-i-resolve-the-pygraphviz-error-on-mac-os)
+
 ### 4. Install KLEE
 
 To use KLEE with Gametime, follow the installation instructions on the [KLEE official website](https://klee.github.io/).
diff --git a/test/tacle_test/programs/if_elif_else/config.yaml b/test/tacle_test/programs/if_elif_else/config.yaml
index 78ace78..b28c09a 100644
--- a/test/tacle_test/programs/if_elif_else/config.yaml
+++ b/test/tacle_test/programs/if_elif_else/config.yaml
@@ -3,7 +3,7 @@ gametime-project:
   file:
     location: if_elif_else.c
     analysis-function: test
-    additional-files: helper.c
+    additional-files: [helper.c]
     start-label: null
     end-label: null