another tweak to appendix-B formatting