Update fspec.md