Clean up documentation and appendix