A few changes to metatheory sections.