Minor JavaDocs fix