minor JavaDoc clean up to avoid JavaDoc WARNING in build