diff --git a/collects/slatex/slatex-wrapper.rkt b/collects/slatex/slatex-wrapper.rkt
index 83fa80acd2..2d4f206a31 100644
--- a/collects/slatex/slatex-wrapper.rkt
+++ b/collects/slatex/slatex-wrapper.rkt
@@ -9,7 +9,7 @@
   (provide/contract
    [slatex (string? . -> . boolean?)]
    [pdf-slatex (string? . -> . boolean?)]
-   [slatex/no-latex (string? . -> . boolean?)]
+   [slatex/no-latex (string? . -> . void?)]
    [latex (string? . -> . boolean?)]
    [pdf-latex (string? . -> . boolean?)]
    [filename->latex-filename (string? . -> . string?)])