diff --git a/doc/efun/extern_call b/doc/efun/extern_call
index b20bbf8..a1e4fcf 100644
--- a/doc/efun/extern_call
+++ b/doc/efun/extern_call
@@ -1,15 +1,15 @@
 SYNOPSIS
-        int extern_call()
+        int extern_call();
 
-BESCHREIBUNG
-        Liefert 0, wenn die momentane ausgefuehrte Funktion durch eine lokale
-        Funktion aufgerufen wurde, einen Wert ungleich 0 fuer Aufrufe durch
-        call_other(), den Treiber, Closures etc. Im Moment liefert die
-        Funktion in all diesen Faellen 1 zurueck, in Zukunft koennte
-        allerdings eine Unterscheidung der Aufrufe moeglich werden.
+DESCRIPTION
+        Returns zero, if the function that is currently being executed
+        was called by a local call, non-zero for call_other(), driver
+        applies, closure calls, etc. Currently the only return value
+        for them is 1, but later the various methods may be
+        distinguished by means of the return value.
 
-GESCHICHTE
-        Eingefuehrt in 3.2@263 bzw. 3.2.1@12.
+HISTORY
+        Introduced in 3.2@263 resp. 3.2.1@12
 
-SIEHE AUCH
+SEE ALSO
         call_other(E), previous_object(E)