diff --git a/doc/efun/interactive b/doc/efun/interactive
index f3c19f1..0734970 100644
--- a/doc/efun/interactive
+++ b/doc/efun/interactive
@@ -1,11 +1,12 @@
 SYNOPSIS
         int interactive()
-        int interactive(object obj)
+        int interactive(object ob)
 
-BESCHREIBUNG
-        Liefert 1 zurueck, wenn <obj> ein interaktiver User (ein Spieler)
-        ist, sonst 0. Wird <obj> weggelassen, so wird this_object() verwendet.
+DESCRIPTION
+        Return non-zero if ob is an interactive user. If ob is omitted,
+        this_object() will be used. The return value is 1 if the
+        object is interactive, else 0.
 
-SIEHE AUCH
-        query_once_interactive(E), query_ip_number(E), query_ip_name(E),
-        query_idle(E)
+SEE ALSO
+        query_once_interactive(E), query_ip_number(E),
+        query_ip_name(E), query_idle(E)