FIXME: Some hacks to make the example work