Minor fix of docs.