Update wf.erl