Fix example syntax