Bug fix: example.