diff -r 8e3c848008fa -r 5ac67041ccf8 src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Wed Apr 16 21:51:41 2014 +0200
+++ b/src/Pure/System/options.scala	Thu Apr 17 10:54:10 2014 +0200
@@ -58,7 +58,7 @@
           case word :: rest if word == strip => rest
           case _ => words
         }
-      Word.implode(words1.map(Word.capitalize(_)))
+      Word.implode(words1.map(Word.perhaps_capitalize(_)))
     }
 
     def unknown: Boolean = typ == Unknown