minor updates in Example_1