Fixing some more examples.