diff --git a/testcases/verification/list-algorithms/BasicMergeSortPar.scala b/testcases/verification/list-algorithms/BasicMergeSortPar.scala
index 493122b2f8d0cc6356ef76b3ba6cfaf33e66c38a..4ea97244fb24088eb0a5a5bc1284b35b856a9a48 100644
--- a/testcases/verification/list-algorithms/BasicMergeSortPar.scala
+++ b/testcases/verification/list-algorithms/BasicMergeSortPar.scala
@@ -1,3 +1,9 @@
+/* Basic parallel Merge sort that: 
+   * shows use of 'par' construct
+   * uses a higher-order comparison function
+   * relies on a strong spec for a list library function splitAtIndex
+   Warning: spec does not check sortedness or multiplicity.
+*/
 import leon.lang._
 import leon.collection._
 import leon.par._