diff --git a/todo/prel b/todo/prel
index ea1bfbc..6636b7b 100755
--- a/todo/prel
+++ b/todo/prel
@@ -325,7 +325,7 @@ dans la branche de destination ${COULEUR_BLEUE}master${COULEUR_NORMALE}"
                 eimportant "\
 La branche $release n'a plus lieu d'être, mais la configuration actuelle interdit de la supprimer dans le dépôt distant.
 Veuillez le faire manuellement avec la commande suivante:
-    $(quoted_args git push "$origin" ":$release")"
+    $(qvals git push "$origin" ":$release")"
             fi
         fi
     fi