Fix tiny oops in the example