Fix wf-example.