Fix appendix example