diff --git a/collects/honu/doc.txt b/collects/honu/doc.txt
index 81ecba86d2..d6172a94e1 100644
--- a/collects/honu/doc.txt
+++ b/collects/honu/doc.txt
@@ -95,6 +95,11 @@ String operations:
     - The zero-based index cannot be negative and must be less
       than the string length.
 
+Numeric operations:
+
+> sqrt(float f) => float
+    - Produces the square root of its argument.
+
 _Operators_
 
 Unary operators:
diff --git a/collects/honu/private/typechecker/type-utils.ss b/collects/honu/private/typechecker/type-utils.ss
index 43b541c8c4..04c7fe72b5 100644
--- a/collects/honu/private/typechecker/type-utils.ss
+++ b/collects/honu/private/typechecker/type-utils.ss
@@ -57,7 +57,7 @@
        (symbol->string name)]
       [(struct honu:type-tuple (_ args))
        (if (null? args)
-           "<>"
+           "void"
            (string-append "<"
                           (fold (lambda (t i)
                                   (string-append i ", " (printable-type t)))
diff --git a/collects/honu/private/typechecker/typecheck-expression.ss b/collects/honu/private/typechecker/typecheck-expression.ss
index 140c83c8cd..29e35fec03 100644
--- a/collects/honu/private/typechecker/typecheck-expression.ss
+++ b/collects/honu/private/typechecker/typecheck-expression.ss
@@ -536,9 +536,11 @@
                    [honu:let-body     e1])
                  t1))]
       [(struct honu:seq (_ effects value))
-       (let-values ([(effects _) (map-two-values (lambda (e)
-                                                   (typecheck-expression lenv (make-void-type (honu:ast-stx e)) e))
-                                                 effects)]
+       (let-values ([(effects _)
+                     (map-two-values
+                      (lambda (e)
+                        (typecheck-expression lenv (make-void-type (honu:ast-stx e)) e))
+                      effects)]
                      [(e1 t1) (typecheck-expression lenv ctype value)])
          (values (copy-struct honu:seq expr
                    [honu:seq-effects effects]