Examples renamed.