Fix an error in an example.