Fix example code syntax