Fix up example.