fix a small mistake in all versions