--- SpanNotQuery.java.orig 2004-02-02 13:27:52.000000000 +0000 +++ SpanNotQuery.java 2005-02-24 16:33:28.000000000 +0000 @@ -64,7 +64,7 @@ private boolean moreInclude = true; private Spans excludeSpans = exclude.getSpans(reader); - private boolean moreExclude = true; + private boolean moreExclude = excludeSpans.next(); public boolean next() throws IOException { if (moreInclude) // move to next include