diff --git a/changes-set.txt b/changes-set.txt
index 907e0e98e0..ca2e872dab 100644
--- a/changes-set.txt
+++ b/changes-set.txt
@@ -93,10 +93,10 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
-17-Dec-24 ffelrnd   ffelcdmd
-17-Dec-24 ffelrnda  ffelcdmda
-17-Dec-24 ffelrni   ffelcdmi
-17-Dec-24 ffelrn    ffelcdm
+17-Dec-24 ffvelrnd  ffvelcdmd
+17-Dec-24 ffvelrnda ffvelcdmda
+17-Dec-24 ffvelrni  ffvelcdmi
+17-Dec-24 ffvelrn   ffvelcdm
 13-Dec-24 fvmptopab [same]      revised - eliminated hypothesis
                                 and deduction form antecedent
 13-Dec-24 wksonproplem [same]   revised - eliminated hypothesis