Restructure appendix slightly