Fixed some mistakes in appendix