Fix doc example [skip ci]