Update kravspec.md