diff --git a/src/kernel_internals/typing/populate_spec.ml b/src/kernel_internals/typing/populate_spec.ml
index 2a86d2124c9a8f8e95189114717f1a66785ad97d..838672fc8061193fbadc9abc4f5ac31974d95dd2 100644
--- a/src/kernel_internals/typing/populate_spec.ml
+++ b/src/kernel_internals/typing/populate_spec.ml
@@ -72,11 +72,11 @@ let custom_modes = Hashtbl.create 17
 let default = Cil.default_behavior_name
 
 let emitter_populate =
-  Emitter.create "PopulateSpec"
+  Emitter.create "Populated spec"
     [ Funspec ] ~correctness:[] ~tuning:[]
 
 let emitter_status =
-  Emitter.create "PopulateStatus"
+  Emitter.create "Populated status"
     [ Property_status ] ~correctness:[] ~tuning:[]
 
 (* Emit [status] on the property [ppt]. *)