diff --git a/pollen/private/mode-indentation.rkt b/pollen/private/mode-indentation.rkt
index c772fb6..3c67e7d 100644
--- a/pollen/private/mode-indentation.rkt
+++ b/pollen/private/mode-indentation.rkt
@@ -11,9 +11,9 @@ Identical to scribble/private/indentation except it uses #\◊ rather than #\@ a
 In the unit tests, `scribble/base` became `pollen/markup`
 and `scribble/manual` became `pollen/markdown`
 to keep the number of characters consistent, and therefore the char positions within each sample.
-
 |#
 
+
 (provide determine-spaces paragraph-indentation keystrokes)
 
 (define paragraph-width-pref-name 'scribble-reindent-paragraph-width)
@@ -569,7 +569,7 @@ to keep the number of characters consistent, and therefore the char positions wi
 
 
 (define/contract (insert-them t . strs)
-  (->* ((is-a?/c text%)) #:rest (*list/c (and/c string? #rx"\n$") string?) void?)
+  (->* ((is-a?/c text%)) #:rest (cons/c (and/c string? #rx"\n$") (listof string?)) void?)
   (for ([str (in-list strs)])
     (define lp (send t last-position))
     (send t insert str lp lp))
diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd
index 1a71daf..11dd1b5 100644
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@@ -1 +1 @@
-1508974093
+1508984014