Small correction to appendix usage