Fix a couple of examples