Minor JavaDocs changes