This assertion was not for the SPEC case; it was for other cases we didn't handle above. I can put something back in.