Minor cleanup of JavaDoc.