minor example tweak