Identity eliminator typos in appendix

Fixed identity eliminator typos in appendix: replaced ind' (based) with ind (unbased)