Minor exposition and some notational fixes.