Tweaks to appendix.