Added link to functional spec.