More on the example code.