Fixed a mistake in the version history.