Fix program name in example