Typo from Charles.
Moderately drastic revisions to last subsection.
Added a footnote about how RG's implementation was still probably right.