Bug fix in Functional_req.tex