Update krav.md