Small fixes to two examples.