Fix mistake in section 4.4