--- a/jdk/src/share/classes/java/util/stream/IntStream.java	Thu May 30 16:08:43 2013 +0200
+++ b/jdk/src/share/classes/java/util/stream/IntStream.java	Tue May 28 15:22:30 2013 +0200
@@ -588,7 +588,7 @@
     /**
      * Returns an {@link OptionalInt} describing the first element of this
      * stream (in the encounter order), or an empty {@code OptionalInt} if the
-     * stream is empty.  If the stream has no encounter order, than any element
+     * stream is empty.  If the stream has no encounter order, then any element
      * may be returned.
      *
      * <p>This is a <a href="package-summary.html#StreamOps">short-circuiting