Added another int spec.