Fix up one Javadocs comment.