javadoc: some minor corrections in TEIImporter