Fixing up metatheory bit.