Renaming a couple of examples to avoid clashes