Fixing a few examples