JavaDocs correction