JavaDocs, minor fixes