Update kravspec.html