Mistake on one of the example codes