still more typo corrections...