Fixing examples, still 1.2