Minor fixup in one of the examples