Fix link from IND-CCA2 to IND-CCA1.