Fix mistake in tuple construction