Minor doc adjustments