diff --git a/truth-table-web-wrapper b/truth-table-web-wrapper
index f15f282..2cefdf4 100755
--- a/truth-table-web-wrapper
+++ b/truth-table-web-wrapper
@@ -6,4 +6,4 @@ SBCL=${SBCL:-sbcl}
 exec ${SBCL} --noinform \
              --eval '(format *error-output* "Loading systems...~%")' \
              --eval '(ql:quickload :truth-table/web :silent t)' \
-             --eval '(truth-table/web:toplevel)' "${@}"
+             --eval '(truth-table/web:toplevel)' - "${@}"
diff --git a/typeset.lisp b/typeset.lisp
index c369bbb..d1de8a0 100644
--- a/typeset.lisp
+++ b/typeset.lisp
@@ -274,13 +274,14 @@ between each row."
               pretty-print
               (typeset-proposition
                expr :lookup-table *operator-html-lookup-alist*
-               :var-name-transform 'html-var-name-transform)))
+               :var-name-transform 'html-var-name-transform
+               :latin-truths latin-truths)))
     (format str "~@[~%  ~]</tr>" pretty-print)
     (dolist (row (extract-truth-table-values table))
       (format str "~@[~%  ~*~]<tr>~@[~%    ~*~]" pretty-print pretty-print)
       (loop with truth-str = (if latin-truths
-                                  "~:[F~;T~]"
-                                  "~:[&perp;~;&top;~]")
+                                 "~:[F~;T~]"
+                                 "~:[&perp;~;&top;~]")
             for now = row then (cdr now)
             for value = (car now)
             while now do