Fix another error in my Appendix.