Fix up example