Minor fix in docs