Minor example tweak.