Update functional_specs.md