diff --git a/src/library/compiler/compiler.cpp b/src/library/compiler/compiler.cpp
index fcb2fbe5d0..40adefd273 100644
--- a/src/library/compiler/compiler.cpp
+++ b/src/library/compiler/compiler.cpp
@@ -187,7 +187,7 @@ environment compile(environment const & env, options const & opts, names cs) {
         if (!cinfo.is_definition() && !cinfo.is_opaque()) return env;
     }
 
-    time_task t("compilation", opts);
+    time_task t("compilation", opts, head(cs));
     scope_trace_env scope_trace(env, opts);
 
     comp_decls ds = to_comp_decls(env, cs);