Clean up some examples in Ch 9