Minor fix to invalid example code