a few tweaks to reification.