Add example, fix definition list