various english typos. And made a typo myself.