Fix up example, see above