Fix the formatting of appendix elements in the manual