Performance updates, and some mistakes corrected.