Some fixes in Appendix