Some cleanups to new explanatory material.