Minor example fix