Some minor fixes in two examples