Small changes to the examples in Main.