Bug in examples