Minor doc change.
More minor cleanup.