Found a bug in the example code