Minor fix to doc example [ci skip]