Update functional spec