updated kravspec