just small java doc change