Fix up example file