Notation change in appendix B