fix bug in WikipediaDocnoMapping.java