diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml
index fdce614..fb0beb7 100644
--- a/.github/workflows/admin.yml
+++ b/.github/workflows/admin.yml
@@ -14,6 +14,6 @@ jobs:
     - name: Checkout
       uses: actions/checkout@v3
     - name: Tidy repository
-      uses: propensive/tumult@0.5.8
+      uses: propensive/tumult@0.5.9
     - name: Autocommit changes
       uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/basics.md b/doc/basics.md
index 79f9a13..f9799f4 100644
--- a/doc/basics.md
+++ b/doc/basics.md
@@ -1,4 +1,5 @@
-Kaleidoscope is included in the `kaleidoscope` package, and exported to the `soundness` package.
+Kaleidoscope is included in the `kaleidoscope` package, and exported to the
+`soundness` package.
 
 To use Kaleidoscope alone, you can include the import,
 ```scala
diff --git a/doc/slogan.md b/doc/slogan.md
index 3da3745..97d73ae 100644
--- a/doc/slogan.md
+++ b/doc/slogan.md
@@ -1 +1 @@
-Statically-checked inline pattern matching on regular expressions
+Statically-typed inline pattern matching on regular expressions