Fix Appendix A