Fix doc example.