Fix an example.