Fixing up examples to be pikabuified