Fix the spec to account for recursive cases.

/cc: @eschoppik