diff -r d4da2b11c729 -r 76cf86240cb7 src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Sat Apr 12 21:00:04 2014 +0200
+++ b/src/Pure/System/options.scala	Sat Apr 12 21:38:38 2014 +0200
@@ -58,7 +58,7 @@
           case word :: rest if word == strip => rest
           case _ => words
         }
-      words1.map(Library.capitalize).mkString(" ")
+      words1.map(Library.capitalize(_)).mkString(" ")
     }
 
     def unknown: Boolean = typ == Unknown