diff -r f06fe9c2152d -r bec342db1bf4 Admin/Benchmarks/HOL-record/ROOT.ML
--- a/Admin/Benchmarks/HOL-record/ROOT.ML	Sun Nov 15 13:06:42 2009 +0100
+++ b/Admin/Benchmarks/HOL-record/ROOT.ML	Sun Nov 15 15:13:31 2009 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Admin/Benchmarks/HOL-record/ROOT.ML
 
-Some benchmark on large record
+Some benchmark on large record.
 *)
 
 val tests = ["RecordBenchmark"];