Fix errors in JavaDocs