Fix bad example.