Minor example fix.