Minor example tweak