diff --git a/cp-demo/ACMDLExamples.scala b/cp-demo/ACMDLExamples.scala
index 1d3a78f1f4a96594455a17c803ab9a7dc1f66f99..1a095275d4cc6e10bc8492e20e0f99550c434e88 100644
--- a/cp-demo/ACMDLExamples.scala
+++ b/cp-demo/ACMDLExamples.scala
@@ -3,7 +3,7 @@ import cp.Terms._
 import cp.LTrees._
 
 // This file contains examples from the paper:
-//     A.S. Köksal, V. Kuncak, P.Suter, "Constraints as Control", POPL 2012
+//     A.S. Köksal, V. Kuncak, P. Suter, "Constraints as Control", POPL 2012
 //   as well as some more.
 // The file should be compiled and run with Scala 2.9+ along with the Kaplan
 // plugin.