Fixing TKO example