(Just some typo fixes in the version history.)