Minor change to the example