Fix an error in the example