Added comments to Appendix A.