Correct mislabeled assembly listing in Appendix 1.