minor corrections to the code examples.