Minor fix in docs example