Minor fix in docs.