fix greeting example