diff --git a/collects/deinprogramm/scribblings/image.scrbl b/collects/deinprogramm/scribblings/image.scrbl
index ea7756815c..ab04622c86 100644
--- a/collects/deinprogramm/scribblings/image.scrbl
+++ b/collects/deinprogramm/scribblings/image.scrbl
@@ -28,7 +28,7 @@ Ein @deftech{Bild} (Name: @scheme[image]) ist die Repräsentation eines Bildes.
 Ein leeres Bild mit Breite und Höhe 0.
 }
 
-@defthing[image? (%a -> boolean?)]{Der Aufruf @scheme[(image? x)] stellt fest, ob @scheme[x] ein Bild ist.}
+@defthing[image? (any -> boolean?)]{Der Aufruf @scheme[(image? x)] stellt fest, ob @scheme[x] ein Bild ist.}
 
 @;-----------------------------------------------------------------------------
 @section[#:tag "modes-colors"]{Modi und Farben}
diff --git a/collects/deinprogramm/scribblings/ka.scrbl b/collects/deinprogramm/scribblings/ka.scrbl
index 390b09b949..854e162545 100644
--- a/collects/deinprogramm/scribblings/ka.scrbl
+++ b/collects/deinprogramm/scribblings/ka.scrbl
@@ -98,7 +98,7 @@ Form:
 Ggf. schreiben Sie außerdem Signaturen für das Prädikat und die Selektoren:
 
 @schemeblock[
-(: pred? (%a -> boolean))
+(: pred? (any -> boolean))
 (: #,(elem (scheme select) (subscript "1")) (sig -> #,(elem (scheme sig) (subscript "1"))))
 ...
 (: #,(elem (scheme select) (subscript "n")) (sig -> #,(elem (scheme sig) (subscript "n"))))