diff --git a/docs/compiler/pbs/agendas/19.4. Globals and Lifecycle Lowering to IRBackend/IRVM Agenda.md b/docs/compiler/pbs/agendas/19.4. Globals and Lifecycle Lowering to IRBackend-IRVM Agenda.md
similarity index 100%
rename from docs/compiler/pbs/agendas/19.4. Globals and Lifecycle Lowering to IRBackend/IRVM Agenda.md
rename to docs/compiler/pbs/agendas/19.4. Globals and Lifecycle Lowering to IRBackend-IRVM Agenda.md
diff --git a/docs/compiler/pbs/agendas/README.md b/docs/compiler/pbs/agendas/README.md
index 596ce817..90a10016 100644
--- a/docs/compiler/pbs/agendas/README.md
+++ b/docs/compiler/pbs/agendas/README.md
@@ -16,7 +16,7 @@ Closed agendas are moved to `docs/pbs/agendas/archive`.
 8. `19.1. PBS Globals Surface, Identity, and Module Boundaries Agenda.md`
 9. `19.2. PBS Lifecycle Markers, Program Init, and Frame Root Semantics Agenda.md`
 10. `19.3. Published Entrypoint, Synthetic Wrapper, and FRAME_RET Ownership Agenda.md`
-11. `19.4. Globals and Lifecycle Lowering to IRBackend/IRVM Agenda.md`
+11. `19.4. Globals and Lifecycle Lowering to IRBackend-IRVM Agenda.md`
 12. `19.5. Diagnostics, Manifest Propagation, and Conformance Coverage Agenda.md`
 
 ## Purpose