diff --git a/misc/figleaf.el b/misc/figleaf.el
index 33ecef466..449ac6af2 100644
--- a/misc/figleaf.el
+++ b/misc/figleaf.el
@@ -47,6 +47,7 @@
     (dolist (ov (overlays-in (point-min) (point-max)))
       (delete-overlay ov))
     (setq figleaf-this-buffer-is-annotated nil)
+    (message "Removed annotations")
 ))
 
 (defun figleaf-annotate (&optional show-code)
@@ -91,6 +92,7 @@
                            'face '(:box "red")
                            )
               )
+            (message "Added annotations")
             )
           )
       (message "unable to find coverage for this file"))