Corrected (slightly) the example