fix a lucene bug