fixup this example