Correct JavaDocs