Update functional_req.tex