minor example fixing