another small edit in appendix