Some improvements and additions to kravspec.