diff --git a/TODO.md b/TODO.md
index e8c5071..cff3b55 100644
--- a/TODO.md
+++ b/TODO.md
@@ -27,3 +27,4 @@ remove elements from this list as you see fit.
     * for exposed containers
     * for `install-cosmo` (kinda a subset of the previous point)
 * use cache for `apk` packages
+* create a shortcut path to `/usr/local/bin` in `notwa-util`
diff --git a/cosmo-yices/Dockerfile b/cosmo-yices/Dockerfile
index 862a653..fa0cc21 100644
--- a/cosmo-yices/Dockerfile
+++ b/cosmo-yices/Dockerfile
@@ -72,7 +72,7 @@ COPY --from=downloader /gmp /gmp
 WORKDIR /gmp
 RUN : \
  && CC=cosmocc CFLAGS="-O2 -g" \
-    # specify some generic old CPU for best compatibility/reproduciblity: \
+    # specify some generic old CPU for best compatibility/reproduciblity. \
     # core2 introduced SSSE3, which cosmopolitan depends on, so use that: \
     ac_cv_build='core2-pc-linux-gnu' \
     ac_cv_host='core2-pc-linux-gnu' \
@@ -93,7 +93,7 @@ RUN : \
  && sed -i 's/\bdonothing\b/&_/g' src/context/context.c \
  && sed -i 's/\bhextoint\b/&_/g' src/terms/bv_constants.c src/terms/bv64_constants.c \
  && sed -i '/#include <unistd.h>/i\\#include <time.h>' src/utils/timeout.c \
-# the static-lib target attempts to build static_libyices_dynamic. don't do that. \
+# the static-lib target attempts to build a dynamic library. don't do that. \
  && sed -i 's/ $(static_libyices_dynamic)//g' src/Makefile \
 \
  && autoconf \