Update wfr_doc.tex