JavaDoc touchups