Fix doc example