JavaDoc touchup