diff --git a/doc/efun/program_time b/doc/efun/program_time
index e7da010..5af4d9b 100644
--- a/doc/efun/program_time
+++ b/doc/efun/program_time
@@ -1,14 +1,13 @@
 SYNOPSIS
         int program_time()
-        int program_time(object|lwobject obj)
+        int program_time(object|lwobject ob)
 
-BESCHREIBUNG
-        Gibt den Zeitpunkt an, zu dem das Objekt <obj> (bzw. this_object(),
-        wenn nichts angegeben wurde) erzeugt, d.h. kompiliert wurde.
+DESCRIPTION
+        Returns the creation (compilation) time of the object's
+        program. Default is this_object(), if no arg is given.
 
-ANMERKUNGEN
-        Diese Efun swapt das Programm zurueck ins Objekt, wenn es ausgelagert
-        war.
+        CAVEAT: If the objects program is swapped out, this efun
+          swaps it back in.
 
-SIEHE AUCH
+SEE ALSO
         object_time(E), program_name(E)