Bug in example