Doc: Minor fix.