Some tiny doc adjustments.