Fix example problem