maintenance commit
After finishing Appendix A