Update func-spec.md