Bugs in examples