Fix a mistake in the Origins section