Fix example code style