Small changes regarding cover() and check() in SigSpec