diff --git a/src/pregmod/fKilled.tw b/src/pregmod/killedSlave.tw
similarity index 99%
rename from src/pregmod/fKilled.tw
rename to src/pregmod/killedSlave.tw
index 1447f63da4b60fd4ab65bc1c1171915126a6b35f..1a1d0f952a228112daa2cc31173e33a524684d46 100644
--- a/src/pregmod/fKilled.tw
+++ b/src/pregmod/killedSlave.tw
@@ -1,4 +1,4 @@
-:: FKilled [nobr]
+:: KilledSlave [nobr]
 
 <<if $killChoice == 0>>