Small fix in code examples.