- small bug fix: (-> addDocumentLength caused NullPointerException)