Fix noncompliant JavaDoc.