Fixed a printf() format bug in the example code.