Fix mistake in Pi_1