minor stylistic doc change