Minor fix to doc texts.