Bugfix in examples/halide