BUG: error in example