Fix the examples, due to some minor breakage