Index: doc/papers/concurrency/mail
===================================================================
--- doc/papers/concurrency/mail	(revision 97a15443852d39eaaeacd445f16a65ca8be4195e)
+++ doc/papers/concurrency/mail	(revision f0d67e5abea7221dccd4183dd58ccc6cdbee32fc)
@@ -10,5 +10,5 @@
 Dear Dr Buhr,
 
-Your manuscript entitled "Concurrency in C∀" has been received by Software:
+Your manuscript entitled "Concurrency in Cforall" has been received by Software:
 Practice and Experience. It will be given full consideration for publication in
 the journal.
@@ -41,5 +41,5 @@
 Dear Dr Buhr,
 
-Many thanks for submitting SPE-18-0205 entitled "Concurrency in C∀" to Software: Practice and Experience.
+Many thanks for submitting SPE-18-0205 entitled "Concurrency in Cforall" to Software: Practice and Experience.
 
 In view of the comments of the referees found at the bottom of this letter, I cannot accept your paper for publication in Software: Practice and Experience. I hope that you find the referees' very detailed comments helpful.