diff --git a/README.md b/README.md
index f6dabe8..d575924 100644
--- a/README.md
+++ b/README.md
@@ -4,13 +4,13 @@ please see the [relevant Wikipedia article][1].
 
 [1]: https://en.wikipedia.org/wiki/Truth_table 
 
-To build, just run `make`. You will need SBCL, as well as Quicklisp. Quicklisp
-is used to load `uiop` and `with-user-abort`.
+To build, just run `make`. You will need SBCL, ASDF, and Quicklisp. Quicklisp is
+used to load `uiop` and `with-user-abort`.
 
 The format of the input propositions is fairly free-form. The above Wikipedia
 article has some information about their format, as well as possible symbols for
 operators. You can also take a look at the table near the top of
-`truth-table.lisp` for all the variations supported by this program.
+`parse.lisp` for all the variations supported by this program.
 
 Here is the help output from the program:
 ```text