fix error in appendix