Update notespec.md