diff --git a/doc/lispref/compile.texi b/doc/lispref/compile.texi
index 51febaa7c173cd1ea23cd45cb60120c393d3ba7f..6d21ca3e6ab9769bc938c6ed0e7a469fe6a1cf35 100644
--- a/doc/lispref/compile.texi
+++ b/doc/lispref/compile.texi
@@ -161,7 +161,7 @@ function.
 
 @code{compile-defun} normally displays the result of evaluation in the
 echo area, but if @var{arg} is non-@code{nil}, it inserts the result
-in the current buffer after the form it's compiled.
+in the current buffer after the form it has compiled.
 @end deffn
 
 @deffn Command byte-compile-file filename &optional load