fix an example bug