moved comment about rannacher from conclusion to rannacher smoothing section, and a couple or minor typos