Bug Fix in functional_req.tex