fix example (bug 732755)