Fix example with incorrect output