Add missing concreteness check; fixes a SEGV.