Fix an example